#include <stdio.h>

int kbd()
{
    printf("display_kbd\n");
    return 0;
}

